presburger arithmetic - Englisch Synonyme Wörterbuch